tert-butyl (3S)-3-piperazin-1-ylpyrrolidine-1-carboxylate