GJA1 and cognitive disorder: Cx43, but not Cx30, is upregulated in human brain tissue sections obtained from subjects with HIV mild cognitive disease and encephalitis