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.