3-Methyl-4,11-dihydro-5H-[1]benzoxocino[4,3-d]isoxazol-5-one AIDS-131010 AIDS131010 NSC617791