2-Propen-1-one, 1-(1-naphthalenyl)-3-phenyl-, (2E)- AIDS-122789 AIDS122789