1-[(2-methylpropan-2-yl)oxycarbonyl]-2-propylpyrrolidine-2-carboxylic acid