Direct posterior reduction in a case of posttraumatic irreducible lateral atlantoaxial dislocation.