Which local anesthetic is contraindicated in patients with a known allergy to para-aminobenzoic acid (PABA) derivatives?