AIDS-043753 AIDS043753 Benzyl pyrazine-2-carboxylate Pyrazinoic acid ester deriv.