1-[1-(tert-Butoxycarbonyl)piperidin-4-yl]-5-oxopyrrolidine-3-carboxylic acid [ 937601-51-9 ]