Boxing at the 1952 Summer Olympics – Welterweight