You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (5S,6S,7R)-2-N-(2,5-dimethylphenyl)-3-[(2S)-1-hydroxybutan-2-yl]-4-oxo-6-N-propyl-10-thia-3-azatricyclo[5.2.1.01,5]decane-2,6-dicarboxamide ?
user
C25H35N3O4S
assistant