You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (2R,4R)-1-[[3-(tert-butylamino)-3-oxopropyl]carbamoyl]-4-hydroxypyrrolidine-2-carboxylic acid into its molecular formula.
user
C13H23N3O5
assistant