Central nervous system involvement in HIV infection.