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.