Important Orientalist paintings : from the collection of Coral Petroleum, Inc. : auction Wednesday, May 22, 1985.