2R,3S-1-Boc-2-methyl-piperidine-3-carboxylic acid [ 1932193-81-1 ]