DBU hydroiodide; iodine; sodium hydrogencarbonate; 1,8-diazabicyclo[5.4.0]undec-7-ene; potassium iodide 1) H2O, 12 h, 2) benzene, room temp., 3 d; Yield given. Multistep reaction;