In vivo models of HIV disease and control (Springer, 2006)