γ-Lactam analogues of carbapenicillanic acids