1,3-Dioxolane, 2-[3-(triphenylphosphoranylidene)butyl]-