Cephalosporin bán tổng hợp đầu tiên được đưa vào sử dụng là: