Whisk together ketchup, molasses, brown sugar, mustard, and remaining 1 cup water in a small bowl. Return cooked beans to the pot along with the ketchup mixture. Gently stir to combine. Close and lock the lid. Select high pressure according to manufacturer’s instructions; set timer for 35 minutes. Allow 10 to 15 minutes for pressure to build.