The potent inactivation of HIV-1 infectivity was confirmed by quantifying HIV infectivity in the HeLa cell-derived TZM-bl cell line (SI Appendix, Fig. S5), and by following HIV-1 spreading infection in A3R5.7 CD4 T cells (SI Appendix, Fig. S6). Here, CD4 is linked to infection.