AIDS-051320 AIDS051320 Thiazole-3-methanol deriv. alpha.-[2-(2-Naphthalenyl)ethyl]-6,7,8,9-tetrahydro-5H-cyclohept[d]imidazo[2,1-b]thiazol-3-methanol