Global properties of a class of HIV models