AIDS-107449 AIDS107449 Pyrazine-2-carboxylic acid, (E)-but-2-enyl ester