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