Those skilled in the art will recognize that the oxidation of the sulfide to the sulfone may be carried out at any point along the way beginning with compounds 36, and including oxidation of imidazoles 39, using, for examples, reagents such as hydrogen peroxide in acetic acid, m-chloroperoxybenzoic acid (MCPBA) and potassium peroxymonosulfate (OXONE???).