triphenylphosphine; diethylazodicarboxylate in tetrahydrofuran T=20°C; Mitsunobu ring-closure reaction; 1 h;