You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named ethyl (5S)-5-(4-tert-butylphenyl)-7-methyl-3-oxo-2-(2-oxo-1-prop-2-enylindol-3-ylidene)-5H-[1,3]thiazolo[3,2-a]pyrimidine-6-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C31H31N3O4S
assistant