Development of laboratory and animal model systems for HIV‐1 encephalitis and its associated dementia