Allalinhorn, Strahhlhorn und Rimpfischhorn