(2R)-1-(tert-butoxycarbonyl)-4-isopropylpiperazine-2-carboxylic acid [ 894801-90-2 ]