Synthesis and in vitro DMPK profiling of a 1,2-dioxolane-based library with activity against Plasmodium falciparum.