2,4-Dioxaspiro5.5undec-8-ene, 3-ethyl-, trans-