Surgical repair of abductor hallucis muscle herniation: a case report.