A central nervous system disorder caused by HIV is: