Дзюдо на летних Олимпийских играх 1980 года - мужчины, 71 кг.