AIDS-043815 AIDS043815 Indol der. Methyl 5-(2-nitrovinyl)-4-(methoxycarbonyl)-1-oxopiperidino[1,2-a]indole-4-carboxylate