5H-1,3-Dioxolo[4,5-f]indole-6-butanoic acid, 5-benzyl-.alpha.,.gamma.-dioxo-, methyl ester AIDS-219912 AIDS219912