I Have OCD And Recently Got A Massage By A

I have OCD and recently got a massage by a male. I think the male was hard during the massage, and then left the massage room before coming back in.

Of course, my anxiety (coupled with my awful luck) makes me think of the worst possible scenario.....

So......
If, by chance, semen containing the HIV virus is mixed with massage oil and rubbed close to a female's vagina (up to her inner thigh), can the female get HIV?