Pyrrolidine, 1-cyclohexyl-2,5-dimethyl-