You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
tert-butyl (2S,4R)-4-[tert-butyl(dimethyl)silyl]oxy-2-[(3R)-5-oxopyrrolidin-3-yl]pyrrolidine-1-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H36N2O4Si
assistant