AIDS-112843 AIDS112843 NSC633942 Thiazolo[3,2-a]benzimidazol-3(2H)-one, 2-[(3-nitrophenyl)methylene]-, (2E)-