(2R)-1-methylpiperidine-2-carboxylic acid