An 8-year-old boy with renal artery stenosis and cerebral infarct