2,3,7,8-Tetrachloropyrazino[2,3-g]quinoxaline AIDS-144493 AIDS144493 NSC667241