Global properties of basic virus dynamics models