Modeling of the HIV-1 Life Cycle in Productively Infected Cells to Predict Novel Therapeutic Targets - Igor Sazonov (Pathogens, 2020)