(E)-3-(1-(tert-butoxycarbonyl)piperidin-4-yl)but-2-enoic acid