You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Name the molecular formula for the molecule established as (2S)-1-[(1-ethylpiperidin-3-yl)carbamoyl]-4-hydroxypyrrolidine-2-carboxylic acid using the IUPAC nomenclature.
user
C13H23N3O4
assistant