Let's say a woman has full-blown HIV. What are the odds that a man will catch HIV from her if he has vaginal sex with her, one time, using a condom?

Asking from a position of pure scientific curiosity.