1-(Octahydro-2H-quinolizin-1-ylmethyl)-3-phenyl-2(1H)-quinoxalinone AIDS-130794 AIDS130794 NSC613189