1,2,3,4,4a,5,10,10a-Octahydropyrazino[2,3-b]quinoxaline-2,3-diol AIDS-144486 AIDS144486 NSC667233