Stroke transcranial Doppler in children with human immunodeficiency virus. (8th January 2020)