The role of penicillin in obstetrics.