(R)-1-Boc-piperazine-2-carboxylic acid