Weak-localization effects in a resonant-tunneling junction.