DS2 has formula a few feeds a week, and we use NAN Gold HA 1
Its not the cheapest, but its what independant LC I saw recommended as a good option for a bf bub.
DS1 had seom formula as well and its what we used for him. We never went up to the '2' though as I found it constipate him.