AIDS-055330 AIDS055330 Imidazo[2,1-b]thiazole, 6-(4-nitrophenyl)-