AIDS-043719 AIDS043719 Butyl 5-chloropyrazine-2-carboxylate Pyrazinoic acid ester deriv.