6-Azabicyclo[3.2.1]oct-3-ene-6-carboxylic acid,7-[2-(1,3-dioxan-2-yl)ethyl]-8-methylene-, 2-propen-1-yl ester,(1R,5S,7S)-rel-