2-Quinoxalinecarboxylic acid, 6,7-dimethyl-3-(2-propenyl)-, methyl ester, 1,4-dioxide AIDS-220643 AIDS220643