(4R,5S)-4-((S)-2,2-dimethyl-1,3-dioxolan-4-yl)-2,2-dimethyl-5-vinyl-1,3-dioxolane