红25军几位军级干部，建国后担任什么职务，授的什么军衔