Diastereoselective Amidoalkylation of (3S,7aR)-6-Benzyl-7-hydroxy-3-phenyltetrahydro-5H-imidazo[1,5-c] [1,3]thiazol-5-one: A Short and Highly Efficient Synthesis of (+)-Biotin.