Bem, depois de experimentar por algum tempo, parece que o software de host1 (ao qual eu não tive acesso direto) está configurado para que user2@host2:user1 seja realmente um nome de usuário.
Por isso, ssh user2@host2:user1@host1 funciona.