Cerebral astrocytoma in HIV-1 infection.