Products of Benzylpenicillin potassium.