2-Oxothiazolidine-4(R)-carboxylic acid ethyl ester AIDS-088891 AIDS088891