2,2-bis(prop-2-enyl)pyrrolidine