1,5-Diphenyl-3,7-dioxa-4-azabicyclo[4.1.0]hept-4-ene AIDS-130277 AIDS130277 NSC402163