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