(3R,7aR)-3-tert-butyl-7a-ethenyl-1-hydroxy-1,3,6,7-tetrahydropyrrolo[1,2-c][1,3]oxazol-5-one