3-Methyl-1-(octahydro-2H-quinolizin-1-ylmethyl)-2(1H)-quinoxalinone AIDS-130793 AIDS130793 NSC613187