Stereoselective synthesis of constrained azacyclic hydroxyethylene isosteres as aspartic protease inhibitors: dipolar cycloaddition and related methodologies toward branched pyrrolidine and pyrrolidinone carboxylic acids.