(2S,5R)-1-tert-butoxycarbonyl-4-allyl-2,5-dimethylpiperazine