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