HIV virus particles are smaller than sperm cells. Reliable sources put the size of an HIV virus particle at about 0.1 micron, while the human sperm has an oval head about 5 microns long, plus a slender tail about 50 microns long. So the size ratio is about 50:1, ignoring the tail. (A micron is 1/1000 of a millimeter, or about 0.00004 inches.) "Sheepskin" condoms do contain numerous pores of such a size that they are not recommended as protection against HIV. Latex condoms may also contain smaller pores. However, even if the pore is larger than the virus, the condom will still be an effective barrier. This is explained in an FDA research paper:
"FDA researchers have also developed an assay for condom leakage using high concentrations of a laboratory virus . The laboratory virus penetration assay is not used routinely as a quality control test, but its sensitivity and relevance are arguably greater than the conventional water leakage test. Using this virus assay, FDA scientists tested many different types of male condoms and showed that condoms are highly effective barriers to virus passage with a very small chance of leakage. Intact condoms (i.e., pass the water leak test) are essentially impermeable to particles the size of STD pathogens (including the smallest sexually transmitted virus, hepatitis B). Moreover, these studies show that fluid flow, not virus size, is the most important determinant of viral passage through a hole. Even holes many times larger than the virus impeded fluid flow such that few of the test particles passed through."
The complete paper may be read at
http://www.niaid.nih.gov/dmid/stds/condomreport.pdf (you will need Adobe Acrobat reader).
In other words, the virus is suspended in bodily fluids, and the pore has to be large enough to allow the fluid itself to flow through. Because of viscosity and surface tension, fluids do not pass easily through very small holes.
Condoms are not completely effective, due to issues like slippage or breakage, which probably overshadow porosity concerns. However, they are vastly safer than unprotected sex.