carboxypenicillins