(3R,7aR)-3-tert-butyl-7a-ethenyl-6,7-dihydro-3H-pyrrolo[1,2-c][1,3]oxazole-1,5-dione