AIDS-155060 AIDS155060 Pyrrolidine, 1-[(1-methyl-1H-indol-6-yl)carbonyl]-3-[(4-phenyl-1-piperidinyl)methyl]-4-(3-thienyl)-, (3R,4R)-