Cerebral infarction in patients with AIDS.