Should the pope have condemned condoms for HIV prevention?