AIDS-122920 AIDS122920 Pyrrolo[3,2-b]pyrrol-2(1H)-one,1-(4-nitrophenyl)-4-[[(2S)-1-[[5-(dimethylamino)-1-naphthalenyl]sulfonyl]-2-pyrrolidinyl]carbonyl]hexahydro-3-methyl-, (3S,3aR,6aS)-