Mechanisms of ischemic stroke in HIV-infected patients | Synapse