Comorbidity of restless legs syndrome and HIV infection