Modeling the potential impact of rectal microbicides to reduce hiv transmission in bathhouses