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