HIV infection of choroid plexus in AIDS and asymptomatic HIV-infected patients suggests that the choroid plexus may be a reservoir of productive infection