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