AIDS-036715 AIDS036715 NSC673614 Proline, 1-[1,3-benzodioxol-5-yl(3,4,5-trimethoxyphenyl)methyl]-5-oxo-