Separation of human immunodeficiency virus type 1 from motile sperm by the double tube gradient method versus other methods.