butenedioic acid