Zápas na Letních olympijských hrách 1972 - muži, řecko-římský nad 100 kg