isoxazolyl‐penicillin