You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 2-methyl-3-[[1-(thiophene-2-carbonyl)pyrrolidine-2-carbonyl]amino]butanoic acid is given. What is its corresponding molecular formula?
user
C15H20N2O4S
assistant