Progress in carotid artery surgery at the base of the skull.