tert-butyl 2-[(E)-but-2-enoyl]pyrrolidine-1-carboxylate