Bayesian Analysis of a Population HIV Dynamic Model