You had no risk because you used a condom. Symptoms are not used to diagnose HIV. Only risk factor (yours is Zero) and test results, which doesn't apply to you because you were not exposed to HIV, are used to determine whether someone is infected. Go see a doctor if you're not feeling well but HIV has already been conclusively ruled out since you were never exposed in the first place.