6H-Cyclohepta[d]-1,3-dioxol-4,8-imin-6-one, hexahydro-9-methyl-2-phenyl- AIDS-145427 AIDS145427 NSC670185