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