Biosynthesis Guided the Discovery of Proteusin RiPP Natural Products