Welcome to the answer. As I was reading your question my reaction was the same as chinahand's although I was unaware to the proper term for it. The lesions you describe are quite typical of this process and are in no way suggestive of HIV. The rashes of HIV are very different and irregular in appearance.
Just for completeness sake, I will add that your condom protected intercourse and oral sex are not meaningful risks. You have nothing to worry about from this exposure.
Take care. EWH
Chinahand, wow, maybe that's what this was. Thanks very much for your insight. But why would she only have it one her legs? Looking at pics on the web it appears that most people have it on their back primarily?
And Doctor, if you could weigh in, I'd feel a lot more at ease knowing that birthmarks are not symptoms of HIV/AIDS. Reason being, I read somewhere that as one's immune system is compromised with the disease, increasing numbers of birthmarks are possible? Perhaps this could be moxibustion as Chinahand has said, but can you confirm that a "break out" of birth marks is not a symptom? Thanks.
I'm not the doctor (nor any sort of scientific/medical expert) but I have lived in China for quite a while.
Sounds like moxibustion to me. It's a Chinese medicine treatment often given in conjunction with accupuncture. A small amount of alcohol is placed in a glass tumbler and ignited. The tumbler is quickly turned over and placed on your skin. The resulting vacuum creates hickey-like spots. The theory, I believe, is that the suction pulls the bad energy out of your system, or something like that....
Every single day in China I see at least one person walking around who looks like they were recently attacked by a giant octopus because of these purple/red circles.
The only difference from what you describe is that usually the circles are more like 2 or 3 inches in diameter.
My apologies to the doctors for interjecting.