2-Ethynylquinuclidine