AIDS-155061 AIDS155061 Pyrrolidine, 3-ethenyl-1-[(1-methyl-1H-indol-6-yl)carbonyl]-4-[(4-phenyl-1-piperidinyl)methyl]-, (3S,4R)-