RBFOX3 and AIDS dementia complex: HIV encephalitis was present with marked microglial activation (highlighted with CD45 immunostaining) occasional microglial nodules and reactive gliosis with mild neuronal loss (highlighted with NeuN).