Longitudinal analysis on the evolution and genetic diversity of HIV-1 proviral quasispecies of patients undergoing HAART