Enamino-oxindole HIV protease inhibitors.