AIDS-043810 AIDS043810 Indol deriv. Methyl 5-(2-nitrovinyl)-1-hydroxy-4-(methoxycarbonyl)piperidino[1,2-a]indole-4-carboxylate