list all musical releases produced by dave draves in compact discs format.
(AND music.release (AND (JOIN (R music.producer.releases_produced) m.05mx4px) (JOIN music.release.format m.01www)))