Ora non ho sott’occhio il real book, ma pensando alla versione classica di Jobim direi che gli accordi “standard” sono i primi che hai detto. Il mio maestro di chitarra mi insegnò che molto spesso l’accordo diminuito è un pezzo di una dominante, in questo caso è la parte superiore del F#7 (con la nona) che è appunto la dominante di Bm. Quindi io lo penserei come un I-V di Bm.