tert-butyl N-allyl-N-(1R)-1-[(4S)-2,2-dimethyl-1,3-dioxolan-4-yl]-3-butenylcarbamate