Physiological models are good tools to predict rat bioavailability of EF5154 prodrugs from in vitro intestinal parameters.