AIDS-017654 AIDS017654 gamma-Hydroxy-alpha, gamma, gamma-triphenylcrotonic acid, gamma-lactone