4-Hydroxy-3-(3-methyl-2-butenoyl)-4.lambda.~5~-quinoxaline-2-carboxylic acid AIDS-131135 AIDS131135 NSC622323