Inhibitors of a proton pomp