Simões Lopes, Ildefonso filho