High-performance liquid chromatographic separation and electrochemical detection of penicillins