A malignant astrocytoma in a patient with AIDS: a possible association between astrocytomas and HIV infection.