The paradox of HIV prevention: did biomedical prevention trials show how effective behavioral prevention can be?