AIDS-108889 AIDS108889 But-2-enedioic acid, ethyl ester, 2-nitro-vinyl ester NSC699785