1-ethynyl-1-cyclooctene