tert-butyl 3-ethynyl-3-hydroxypyrrolidine-1-carboxylate