Tumor necrosis factor alpha levels in serum and cerebrospinal fluid of patients with AIDS.