2-Oxothiazolidine-4(R)-carboxylic acid phenacyl ester AIDS-088888 AIDS088888