3,3'-Binaphth[2,1-d]isoxazole, 4,4',5,5'-tetrahydro- AIDS-129906 AIDS129906 NSC371703