AIDS-128267 AIDS128267 Ethyl 3-(4-methyl-3-oxo-3,4,4a,5,6,7,8,8a-octahydro-2-quinoxalinyl)-2-oxopropanoate NSC251945