6,8-Dibromo-4-cinnolinol AIDS-019751 AIDS019751 NSC145000