AVR Realty buys Alexandria, Va., hotel for $72m