This is not a risk for HIV. As you've probably read, risks for HIV are very specific and they include having unprotected vaginal sex, unprotected anal sex and sharing IV drug needles. The speed with which someone ejaculates into a condom has zero impact on the condom's efficiency and as long as the head of your penis is covered, it protects you against HIV. So, you had zero risk.
You can't get hiv when you use a condom and it only has to cover the head of his penis. Move on back to your happy life and forget this non event.