Boxing-related injuries in the US Army, 1980 through 1985.