PS-6 and PS-7, new beta-lactam antibiotics. In vitro and in vivo evaluation.