1: With 1,8-diazabicyclo[5.4.0]undec-7-ene; sodium iodide in tetrahydrofuran T=-78°C; Horner-Wadsworth-Emmons reaction; 3 h; 2: With potassium hydroxide in methanol 0.25 h;