Association of HIV infection with age and symptomatic carotid atherosclerotic disease at the time of carotid intervention in the United States