tert-butyl (2S)-2-[(1R,2S)-1-hydroxy-2-methylbut-3-enyl]pyrrolidine-1-carboxylate [ 159173-40-7 ]