weightlifting at the 1980 Summer Olympics – men's 56 kg