You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule methyl (1R,6R)-6-methyl-2-oxo-4-pyrrolidin-1-ylcyclohex-3-ene-1-carboxylate into molecular formula.
user
C13H19NO3
assistant