Synthesis of Gag polyproteins (p55). These polyproteins will eventually be cleaved by HIV proteases to become HIV matrix proteins (MA; p17), capsid proteins (CA; p24), and nucleocapsid proteins (NC, p7).