1-ethynylbicyclo<2.2.2>octane