1-Pyrrolidino-1-cyclohexene