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