Agreed, and the increased prices are for existing drugs. We are not seeing an increase in cost due to innovation. Price increases are caused by companies charging more year after year for the same pill.
If they break this compact, I see no reason to protect their patent. Eminent domain is a thing. Lets use it.