Stroke and HIV: Emerging mechanisms and management in a changing epidemic | Synapse