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