AIDS-043727 AIDS043727 Isobutyl 5-chloropyrazine-2-carboxylate Pyrazinoic acid ester deriv.