Single-cell transcriptomics identifies prothymosin α restriction of HIV-1 in vivo