.beta.-Lactam antibiotics having an .alpha.-formamido substituent on the carbon atom adjacent to the carbonyl group of the .beta.-lactam ring and in particular bicyclic compounds having the partial structure: ##STR1## Intermediates and processes for the preparation of the compounds are further disclosed.