5-Chloro-pyrazine-2-carboxylic acid, (E)-but-1-enyl ester AIDS-107445 AIDS107445