HIV sexual transmission and microbicides