sodium ethanolate; triphenylphosphine 1.) dioxane, reflux, 1 h, 2.) dioxane, EtOH, 1 h; Yield given. Multistep reaction;