2-ethylbut-2-enedioic acid