3-Phenyl-1,2,6,7,8,9,9a,9b-octahydro-4-oxa-5a-azabenzo[cd]azulen-5-one AIDS-134867 AIDS134867 NSC633899