CSF amyloid beta42 and tau levels correlate with AIDS dementia complex.