AIDS-185080 AIDS185080 Pyrrolo[3,2-b]pyrrol-2(1H)-one, 1-(cyclopropylcarbonyl)hexahydro-3-methyl-4-[[(2S)-1-(2-naphthalenylsulfonyl)-2-pyrrolidinyl]carbonyl]-, (3S,3aR,6aS)-