l. 2020). Integrated HIV sequences have been identified in astrocytes in HIV-infected CNS tissue by laser capture microdissection (Chur