triphenylphosphine; diethylazodicarboxylate in tetrahydrofuran T=0°C; intramolecular Mitsunobu cyclization;