AIDS-036777 AIDS036777 Proline, 1-[1-naphthalenyl(3,4,5-trimethoxyphenyl)methyl]-5-oxo-