AIDS-043751 AIDS043751 Pyrazine-2-carboxylic acid sec-butyl ester Pyrazinoic acid esters der.