3H-3a,6-Methano-2,1-benzisothiazole, 1-(3-cyclohexen-1-ylcarbonyl)hexahydro-8,8-dimethyl-, 2,2-dioxide AIDS-044117 AIDS044117 NSC639712