#2 I assume now you are using the human version of the peptide? I'm not sure why you're doing this in vitro when you can now do it in vivo. Why not (a) infect the mouse with HIV, (b) look at viral titers w/ and w/o pre-vaccination, (c) look for specific CD8 T cells that have developed against peptide-HLA complexes.
I'm not sure I understand your in vitro experiment. Are you planning on mixing CD4 and CD8 T cells together in vitro from vaccinated/non-vaccinated mice and looking for increased killing of the CD4 cells (as estimated by decreased p24)?
*I assume it's mostly anchor changes here