4-piperidin-1-ylbut-2-enoic acid