You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
methyl 2-[[2-(3-methyl-1,2-oxazol-5-yl)pyrrolidine-1-carbonyl]amino]-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H23N3O4S
assistant