Has anyone noticed that infant gaviscon is going out of stock? All our local pharmacies can’t get hold of it (I’m assuming there’s supply issues because of corona) What should I ask the Dr for as an alternative?