5,6,7,8,9,10-Hexahydro-.alpha.-(2-phenylethyl)cyclooct[d]imidazo[2,1-b]benzothiazole-3-methanol AIDS-051307 AIDS051307 Benzothiazole-3-methanol deriv.