2-(2-thienyl)-5,6-dihydroxy-4-carboxypyrimidines as inhibitors of the hepatitis C virus NS5B polymerase: Discovery, SAR, modeling, and mutagenesis