The severe combined immunodeficient (SCID) mouse model of human immunodeficiency virus encephalitis: Deficits in cognitive function