3-Acetyl-2-oxothiazolidine-4(R)-carboxylic acid AIDS-088887 AIDS088887