I had *protected* anal sex with a partner whose HIV status is unknown. I was the insertive partner. I used a condom, and used vaseline body lotion as a lubricant. The condom did not break or slip off. I ensured this at the end. I just read on the internet that one must not use oil based lubricants because the condom might break in between. I will keep that in mind from now on. My question is - Am I at risk because vaseline could have let the HIV virus in through the condom ? Does that happen ? Do oil based lubricants cause the pores in the latex condom to expand and let the HIV virus in ?