tert-butyl (2S)-2-ethynylpyrrolidine-1-carboxylate