Thus, MS proteomic profiling in the HIV/gp120 transgenic mouse predicted dysregulation of the PI3K/Akt pathway observed in human brains with HAND, providing evidence that this mouse is a useful disease model and that the Akt pathway may provide multiple drug targets for the treatment of HIV-related dementias.