Unsaturated macrocyclic compounds. LXXIII. Synthesis of 1,2-diethynylcyclohexene and its oxidation to a tetradehydro[12]annulene derivative