Statistics for Postcoital penile washing and the risk of HIV acquisition in uncircumcised men