AIDS-099125 AIDS099125 Ethanone, 1-(3,6,7-trimethyl-1,4-dioxido-2-quinoxalinyl)-