AIDS-078910 AIDS078910 Imidazo[2,1-b]thiazole, 2-chloro-6-(4-nitrophenyl)-