AIDS-134194 AIDS134194 Ethyl 2-oxo-3-(2-quinoxalinyl)propanoate NSC631662