AIDS-036775 AIDS036775 Proline, 1-[1-naphthalenyl(3,4,5-trimethoxyphenyl)methyl]-5-oxo-, methyl ester