Semisynthetic .BETA.-lactam antibiotics. II. Cephalosporin derivatives in the naphthalene series Chemical and microbiological properties.:CEPHALOSPORIN DERIVATIVES IN THE NAPHTHALENE SERIES CHEMICAL AND MICROBIOLOGICAL PROPERTIES