Identification of Potent and Orally Bioavailable Nucleotide Competing Reverse Transcriptase Inhibitors: in Vitro and in Vivo Optimization of a Series of Benzofurano[3,2-D]pyrimidin-2-one Derived Inhibitors.