Proteomics analysis for the identification of biomarkers and potential therapeutic targets for HIV-1 control and HIV-related neurological dysfunction