AIDS-017725 AIDS017725 Dihydroxy-maleic acid, dimethyl ester