Effects of changes in acid-base composition in the cerebral ventricles on local and general cerebral blood flow.