Highly diastereo- and enantioselective formal conjugate addition of nitroalkanes to nitroalkenes by chiral ammonium bifluoride catalysis.