Formadicins, new monocyclic beta-lactam antibiotics of bacterial origin. II. Isolation, characterization and structures.