tert-butyl 4-(2-oxo-1-phenylpyrrolidin-3-yl)piperazine-1-carboxylate