AIDS-043752 AIDS043752 Decyl pyrazine-2-carboxylate Pyrazinoic acid ester deriv.