Covid 19 positive and fear of hiv.

How, 4 days back my Frnd started getting covid symptoms like high grade fever of 102 degree... he took injection from his doctor now he do not have fever as his temperature is between 98.4 to 99, he is covid positive and he has cough with runny nose from last 2 days he is coughing which increases at night, he has take double dose of covishield, but he is worried that may be he have hiv which he might have contracted 2 years ago and he haven't yet done hiv test, he is worried that he might be suspectible to serious covid health effects as he might have hiv with very low cd4 count, he also has hypertension. He has done all blood reports in which his CRP is 21 rest all are normal, so will he be ok as even if he has hiv and being untreated for hiv. Please reply.