Design, synthesis, and X-ray studies of potent HIV-1 protease inhibitors incorporating aminothiochromane and aminotetrahydronaphthalene carboxamide derivatives as the P2 ligands.