Best proximity point results for mixed multivalued mappings with application to homotopy theory