Inhibition of sphingosine 1-phosphate lyase for the treatment of rheumatoid arthritis: discovery of (E)-1-(4-((1R,2S,3R)-1,2,3,4-tetrahydroxybutyl)-1H-imidazol-2-yl)ethanone oxime (LX2931) and (1R,2S,3R)-1-(2-(isoxazol-3-yl)-1H-imidazol-4-yl)butane-1,2,3,4-tetraol (LX2932).