十大元帅，指1955年被授予中华人民共和国元帅军衔的十位军事家。下列不在十大元帅之列的是( )。