Cerebral astrocytoma in HIV-infected patients.