COMPUTER-ASSISTED SYNTHETIC ANALYSIS. TECHNIQUES FOR EFFICIENT LONG-RANGE RETROSYNTHETIC SEARCHES APPLIED TO THE ROBINSON ANNULATION PROCESS