The efficiency of sperm washing in removing human immunodeficiency virus type 1 varies according to the seminal viral load