Eddie Johnson — boxer (1927-1986)