Rubén de Ledoño, Miguel da Pobra e Antonio de Lugo