Semen may interfere with HIV microbicides