Current Status of the Development of HIV Protease Inhibitors and Their Clinical Potential