AIDS-035785 AIDS035785 NSC164888 Quinoxaline, 2-[(E)-2-(1,3-benzodioxol-5-yl)ethenyl]-