Integrated HIV sequences have been identified in astrocytes in HIV-infected CNS tissue by laser capture microdissection (Churchill et al.