In vitro modeling of HIV proviral activity in microglia