Empirical Bayes approach to estimating the number of HIV