Human seminal antiliquefying agents--a potential approach towards vaginal contraception.