(3R,5S)-1-(tert-butoxycarbonyl)piperidine-3,5-dicarboxylic acid [ 534572-17-3 ]