weightlifting at the 1988 Summer Olympics – men's 67.5 kg