Boks na Letnich Igrzyskach Olimpijskich 1972 – waga półśrednia mężczyzn