Frequent use of lubricants for anal sex among men who have sex with men: The HIV-prevention potential of a microbicidal gel