Piperidine-4-carboxylic acid, N-Boc protected