The clinical significance of the petroclinoid ligament.