Stroke patients with familial hypercholesterolemia: need for detection and aggressive treatment