Yes, you made the right call. As for where in the ASA rule book can you find this, POINTS OF EMHASIS #42 states that "A run will not score if the third out of the inning is a putout at first base (batter-runner) or at another base if a preceding runner is forced because of the batter becoming a batter-runner." Since the batter never became a batter-runner (Infield Fly Rule), the force was removed. As CecilOne stated previously, this now becomes a TIME PLAY.