You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (2S,3S,5S)-5-methoxycarbonyl-5-methyl-2-pyridin-3-ylpyrrolidine-3-carboxylic acid ?
user
C13H16N2O4
assistant