AIDS-092772 AIDS092772 Cyclopropanecarboxylic acid, cis-{(S)-3-[3-fluoro-4-(1-oxo-hexahydro-thiopyran-4-yl)-phenyl]-2-oxo-oxazolidin-5-ylmethyl}-amide Tetrahydro-4(2H)-thiopyranyl phenyloxazolidinone sulfoxide analog