tert-butyl 3-prop-2-ynylpyrrolidine-1-carboxylate