Benefits and limitations of humanized mice in HIV persistence studies | Synapse