2,3-Dimethyl-.alpha.-(2-phenylethynyl)imidazo[2,1-b]thiazole-5-methanol AIDS-051295 AIDS051295 Thiazole-5-methanol deriv.