You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name dimethyl 3-amino-5-(3,4-dihydroxypyrrolidin-1-yl)thiophene-2,4-dicarboxylate into its molecular formula.
user
C12H16N2O6S
assistant