[Marina District building (at Divisadero Street) destroyed in the October 17, 1989 Loma Prieta earthquake]