Penicillin G concentrations required for prophylaxis against Group A Streptococcus infection evaluated using a hollow fibre model and mathematical modelling