Acetylenic derivatives of metal carbonyls. XIV. Cyclotrimerization of diphenylacetylene with dodecarbonyltriosmium