Statistics for Detectable HIV-1 in semen in individuals with very low blood viral loads