3-(4-Fluorophenyl)-3a,4,5a,9a,11,11a-hexahydro[1,6]benzodioxocino[3,4-d]isoxazole AIDS-134823 AIDS134823 NSC633847