Cerebrospinal fluid metabolic acidosis and brain oxygen supply. Studies in patients with brain infarction.