Synthesis and metabolic study of 1H,3H-oxazolo[3,4-a]benzimidazoles, a new class of non-nucleoside HIV-1 RT-inhibitors.