Add AIFF to available_formats() example