Nocturnal sleep EEG in patients with HIV infection