(5R)-5-(piperidine-1-carbonyl)pyrrolidin-2-one