3-(3-Chlorophenyl)-3a,4,5a,9a,11,11a-hexahydro[1,6]benzodioxocino[3,4-d]isoxazole AIDS-134825 AIDS134825 NSC633849