7 Antonio Street, sold price