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