10a,12a-Dimethyl-2,3,3a,3b,4,5,10,10a,10b,11,12,12a-dodecahydro-1H-cyclopenta[7,8]phenanthro[2,3-c]isoxazole-1,6-diol AIDS-133945 AIDS133945 NSC631061 {4-Androsteno[3,2-c]-isoxazole-4,17-.beta.-diol}