Probability of not having a virus given a negative test result