AIDS-017724 AIDS017724 alpha-ethyl-gamma, gamma, gamma-trifluoroacetoacetic acid, ethyl ester