Merging lithium carbenoid homologation and enzymatic reduction: A combinative approach to the HIV-protease inhibitor Nelfinavir