(S)-1-Boc-piperidine-2-carboxylic acid