AIDS-154670 AIDS154670 L-Valine, (3aS,6aR)-6-ethylhexahydro-4-(methylsulfonyl)-5-oxopyrrolo[3,2-b]pyrrol-1(2H)-yl ester