I love both
Salvador and
Joaquin!
Antonio is the best variant of
ANthony etc., but still not a fav of mine.
Miguel is ok, for a non-0spanish kid I think
Miguel Salvador Jorge is a bit much, but that doesn't mean you can't use it. I dan't care much for
Jorge.