The only risks for HIV in adults are:
1) having unprotected, penetrative anal or vaginal sex, or
2) sharing intravenous needles.
Since you had condom-protected intercourse, you were not at risk for HIV. It doesn't matter if there were bubbles in the condom, or if the condom slipped part of the way down, or if sperm leaked out. As long as the head of your penis remained covered, you had zero risk for HIV.
MOST condoms also have spermicide, meaning that even if a small amount of semen leaks out, it is unlikely to result in pregnancy.
You can ask questions about STDs here: https://
www.medhelp.org/forums/STDs---STIs/show/98 but you have no risk for HIV.