You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
tert-butyl N-[[(3R,4S)-4-[[(2-methylpropan-2-yl)oxycarbonylamino]methyl]pyrrolidin-3-yl]methyl]carbamate is the IUPAC name of a molecule. Please give its molecular formula.
user