tert-Butyl 2-(piperidin-4-yl)pyrrolidine-1-carboxylatetert-Butyl 2-(piperidin-4-yl)pyrrolidine-1-carboxylate