Head injuries of Roman gladiators.