3-Butenoic acid AIDS-017598 AIDS017598