You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named tert-butyl 3-[[(2-methylpropan-2-yl)oxycarbonylamino]methyl]-3-pyridin-4-ylpyrrolidine-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C20H31N3O4
assistant