AIDS-043723 AIDS043723 Octyl 5-chloropyrazine-2-carboxylate Pyrazinoic acid ester deriv.