Two-carbon-elongated HIV-1 protease inhibitors with a tertiary-alcohol-containing transition-state mimic.