Do high-density lipoprotein cholesterol levels influence stroke severity?