Hypertrophic spinal pachymeningitis with special reference to appropriate surgical treatment.