Proteomic Studies of HIV-1 and Its Posttranslational Modifications