High-resolution structures of HIV-1 Gag cleavage mutants determine structural switch for virus maturation