AIDS-051322 AIDS051322 Thiazole-3-methanol deriv. alpha.-[2-(3-Fluorophenyl)ethenyl]-6,7,8,9-tetrahydro-5H-cyclohept[d]imidazo[2,1-b]thiazol-3-methanol