You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (5S)-2-[(2,4-dinitrobenzoyl)amino]-5-methyl-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxamide into molecular formula.
user
C17H16N4O6S
assistant