AIDS-144679 AIDS144679 NSC667848 Tetradecahydropyrazino[2,3-g]quinoxaline-2,3,7,8-tetrol