Targeted plasma proteomics reveals a central role of upregulated TNFRSF proteins in HIV-associated stroke | Synapse