2,7-Diphenyl-1,6-dioxadispiro[2.1.2.3]decan-4-one 78843-45-5 AIDS-124916 AIDS124916 NSC56226