2,3-Dimethyl-.alpha.-(2-phenylethenyl)imidazo[2,1-b]thiazole-5-methanol AIDS-051294 AIDS051294 Thiazole-5-methanol deriv.