You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [2-[(2S)-butan-2-yl]phenyl] (3R)-1-(2-methylphenyl)-5-oxopyrrolidine-3-carboxylate into its molecular formula.
user