9-(4-Bromophenyl)-3-methyl-1-phenyl-1,5,6,7,8,9-hexahydro-10.lambda.~4~-[1]benzothieno[3,2-c]isothiazolo[5,1-e]isothiazole AIDS-150370 AIDS150370 NSC687312